Test file for AnalogFormulas.py