This file includes background on the Javari language, explains the algorithm, how the given algorithm is soundly extended to infer romaybe references, heuristics that can be used to infer assignable and mutable fields, the implementation of the algorithm and heuristics within the Javarifier tool, experience using Javarifier on a variety of java program, related work, and the conclusion.