Please don't use raw strings as much as possible. Create a constant in Language.Fixpoint.Names and use that variable instead.
twiddle
sigh
Merge branch 'master' of https://github.com/ucsd-progsys/liquid-fixpoint