Finished pbfs enactor. TODO: write testrig for PBFS.
accidentally added dobfs/result, remove it.