updated compiler to call enforce directly from library
resolved merge