US20160124727A1 - Method for Checking and/or Transformation of a Computer Program with First-Class Static Functions