Update fspec.md

Added Gabriel to flowchart