repo from https://bitbucket.usit.uio.no/projects/KAL/repos/lock-context-manager
sms-seq code and figures
generate truth table for GF
