Added convenience constants to VeriFlame package
Started implementation of VeriFlame event logging