compare interpreter and compiler for constraints