Changed ReCooPLa to only support one main; Improved semantic analysis