tested compilation of CalculusI