Bug fixing: error calculus, rule deletion
version 1.0 based on 3.5-160514