checking the pre-condition of the main expression