Assumi Compilation