Small-Step Semantics Generator for KFAE