Modifying Amandroid.scala in sireum-option