Updated compiler for using permission evaluator + updated tests