FIX: Now handles assert/retract with variable argument.