adding main for PFS automation. No changes made to pre-existing code in this file. No changes required as it does not use any api at all, instead uses PFSautomaton for all functions.