Another go at size inference constraint generation