initial After A removed
before switching to functions
Migration to functions done
Cyclic verification construct demo
Before chaning params to vars
LRL tunable and modified to between