Updates propagations of InSystems. Closes #19