for --> suchthat + Record comprehensions removed