Enhancements to the compiler model and the problem view