compiled reason + test