Adapted constraint type
Added monitor foundation
Added first code to reflect temporal monitors in the checking logic