made interface to fcheck consistent with less_general and leq_general