Fixing imp-left rule implementation