platin: parse argument information, deal with (ignore) symbolic loop bounds, update schema