Remember narrowed types from the constructor when analysing other methods

Remember narrowed types from the constructor when analysing other methods #617