further improvements done by F. Necati

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5625 8c9fc860-2736-0410-a75d-ab315db34111
cosmetics

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5626 8c9fc860-2736-0410-a75d-ab315db34111
further improvements done by F. Necati

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5627 8c9fc860-2736-0410-a75d-ab315db34111
various improvements and application example

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5628 8c9fc860-2736-0410-a75d-ab315db34111
Replace return trap by nop when unsafe modifiers are used (backend tried to jump to past the end pointer of a procedure)

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5629 8c9fc860-2736-0410-a75d-ab315db34111
cleanup, remove redundancies, add missing methods for circle and rectangle

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5630 8c9fc860-2736-0410-a75d-ab315db34111
Removed bodies from procedures in textual symbol files (using old forward declaration syntax)

git-svn-id: https://www.ocp.inf.ethz.ch/svn/aos/trunk@5631 8c9fc860-2736-0410-a75d-ab315db34111