Added a bunch of missing declarations for inverse transition functions