Add support for never-return, never-returns and no-return

Add support for never-return, never-returns and no-return #154