プロシージャであれば
puroshiijadeareba

Noun
Da Copula

The "-eba" conditional form ("if/when…") of プロシージャ

1. If procedure; If it is a procedure; When procedure; When it is a procedure

Ba Conditional