Add emulated method skeleton
More accurately propagate unknown values, refactor
Propigate unknowns for unhandled instructions